A Combinatorial De nition of Baez-Dolan !-categories
نویسنده
چکیده
We give a new combinatorial de nition of a sort of weak !category originally devised by J. Baez and J. Dolan in nite dimensional cases. Our de nition is a mixture of both inductive and coinductive de nitions, and suitable for `computational category theory.' Keyword: weak n-category, bicategory, tricategory, formalized mathematics
منابع مشابه
A Combinatorial Deenition of Baez-dolan !-categories
We give a new combinatorial deenition of a sort of weak !-category originally devised by J. Baez and J. Dolan in nite dimensional cases. Our deenition is a mixture of both inductive and coinductive deenitions, and suitable for`computational category theory.'
متن کاملWeak n-categories: opetopic and multitopic foundations
We generalise the concepts introduced by Baez and Dolan to define opetopes constructed from symmetric operads with a category, rather than a set, of objects. We describe the category of 1-level generalised multicategories, a special case of the concept introduced by Hermida, Makkai and Power, and exhibit a full embedding of this category in the category of symmetric operads with a category of o...
متن کاملPolynomial functors and opetopes
We give an elementary and direct combinatorial definition of opetopes in terms of trees, well-suited for graphical manipulation (e.g. drawings of opetopes of any dimension and basic operations like sources, target, and composition); a substantial part of the paper is constituted by drawings and example computations. To relate our definition to the classical definition, we recast the Baez-Dolan ...
متن کاملOn the Breen-Baez-Dolan stabilization hypothesis for Tamsamani’s weak n-categories
In [2] Baez and Dolan established their stabilization hypothesis as one of a list of the key properties that a good theory of higher categories should have. It is the analogue for n-categories of the well-known stabilization theorems in homotopy theory. To explain the statement, recall that Baez-Dolan introduce the notion of k-uply monoidal n-category which is an n+ k-category having only one i...
متن کاملTransversal Homotopy Theory
Implementing an idea due to John Baez and James Dolan we define new invariants of Whitney stratified manifolds by considering the homotopy theory of smooth transversal maps. To each Whitney stratified manifold we assign transversal homotopy monoids, one for each natural number. The assignment is functorial for a natural class of maps which we call stratified normal submersions. When the stratif...
متن کامل